Derisavi, S.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE Comput. Soc 16th International Parallel and Distributed Processing Symposium. IPDPS 2002 - Ft. Lauderdale, FL, USA (15-19 April 2002)] Proceedings 16th International Parallel and Distributed Processing Symposium - Overview: an integrated framework for performance engineering and resource-aware compilation

Sanders, W.H., Polychronopoulos, C., Huang, T., Courtney, T., Daly, D., Deavours, D., Derisavi, S.

Year:

2002

Language:

english

File:

PDF, 396 KB

english, 2002

2

Optimising input devices of computer aided design systems : In: Psychological issues of human-computer interaction in the workplace, M. Frese, E. Ulich and W. Dzida (Eds). North-Holland, Amsterdam, 1987, pp 221–235

E. Fieling, J. Pfitzmann, F. Derisavi-Fard

Journal:

Applied Ergonomics

Year:

1988

Language:

english

File:

PDF, 145 KB

english, 1988

3

Symbolic partition refinement with automatic balancing of time and space

Ralf Wimmer, Salem Derisavi, Holger Hermanns

Journal:

Performance Evaluation

Year:

2010

Language:

english

File:

PDF, 982 KB

english, 2010

4

Symbolic state-space exploration and numerical analysis of state-sharing composed models

Salem Derisavi, Peter Kemper, William H. Sanders

Journal:

Linear Algebra and its Applications

Year:

2004

Language:

english

File:

PDF, 365 KB

english, 2004

5

Optimal state-space lumping in Markov chains

Salem Derisavi, Holger Hermanns, William H. Sanders

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 118 KB

english, 2003

6

The Möbius state-level abstract functional interface

Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney

Journal:

Performance Evaluation

Year:

2003

Language:

english

File:

PDF, 204 KB

english, 2003

7

A fuzzy decision model for color reproduction

Cecilia Temponi, Farid Derisavi Fard, H.W. Corley

Journal:

International Journal of Production Economics

Year:

1999

Language:

english

File:

PDF, 100 KB

english, 1999

8

The Mobius framework and its implementation

Deavours, D.D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.G.

Journal:

IEEE Transactions on Software Engineering

Year:

2002

Language:

english

File:

PDF, 581 KB

english, 2002

9

Enhanced Modeling and Solution of Layered Queueing Networks

Franks, G., Al-Omari, T., Woodside, M., Das, O., Derisavi, S.

Journal:

IEEE Transactions on Software Engineering

Year:

2009

Language:

english

File:

PDF, 2.99 MB

english, 2009

10

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Symbolic Partition Refinement with Dynamic Balancing of Time and Space

Wimmer, Ralf, Derisavi, Salem, Hermanns, Holger

Year:

2008

Language:

english

File:

PDF, 400 KB

english, 2008

11

[IEEE 2003 International Conference on Dependable Systems and Networks, 2003. - San Francisco, CA, USA (22-25 June 2003)] 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. - On integrating the MOBIUS and MODEST modeling tools

Bohnenkamp, H., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J., Klaren, R., Vinh Vi Lam,, Sanders, W.H.

Year:

2003

Language:

english

File:

PDF, 187 KB

english, 2003

12

[IEEE First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. - Enschede, Netherlands (2004.11.12-2004.11.12)] First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. - The Mobius modeling environment: recent developments

Courtney, T., Daly, D., Derisavi, S., Gaonkar, S., Griffith, M., Lam, V., Sanders, W.H.

Year:

2004

Language:

english

File:

PDF, 226 KB

english, 2004

13

[IEEE Comput. Soc 9th International Workshop on Petri Nets and Performance Models - Aachen, Germany (11-14 Sept. 2001)] Proceedings 9th International Workshop on Petri Nets and Performance Models - The Mobius modeling tool

Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.

Year:

2001

Language:

english

File:

PDF, 1.04 MB

english, 2001

14

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Performance Modeling of a Quorum Pattern in Layered Service Systems

Omari, Tariq, Derisavi, Salem, Franks, Greg, Woodside, Murray

Year:

2007

Language:

english

File:

PDF, 241 KB

english, 2007

15

[IEEE Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Torino, Italy (2005.09.19-2005.09.22)] Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - The Mobius Modeling Environment: Recent Extensions - 2005

Courtney, T., Derisavi, S., Gaonkar, S., Griffith, M., Vinh Lam,, McQuinn, M., Rozier, E., Sanders, W.H.

Year:

2005

Language:

english

File:

PDF, 109 KB

english, 2005

16

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping

Derisavi, Salem

Year:

2007

Language:

english

File:

PDF, 236 KB

english, 2007

17

[IEEE 2005 International Conference on Dependable Systems and Networks (DSN'05) - Yokohama, Japan (28-01 June 2005)] 2005 International Conference on Dependable Systems and Networks (DSN'05) - Lumping Matrix Diagram Representations of Markov Models

Derisavi, S., Kemper, P., Sanders, W.H.

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

18

[ACM Press the Conference - Portland, Oregon (2009.11.14-2009.11.20)] Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis - SC '09 - Compact multi-dimensional kernel extraction for register tiling

Renganarayana, Lakshminarayanan, Bondhugula, Uday, Derisavi, Salem, Eichenberger, Alexandre E., O'Brien, Kevin

Year:

2009

Language:

english

File:

PDF, 374 KB

english, 2009

19

[ACM Press the 6th international workshop - Buenes Aires, Argentina (2007.02.05-2007.02.08)] Proceedings of the 6th international workshop on Software and performance - WOSP '07 - Deriving distribution of thread service time in layered queueing networks

Omari, Tariq, Derisavi, Salem, Franks, Greg

Year:

2007

Language:

english

File:

PDF, 295 KB

english, 2007